VERIFYING PROGRAMS WHICH OPERATE ON DATA STRUCTURES.LAVENTHAL MS.sdIN: INT. CONF. RELIAB. SOFTWARE. PROC.; LOS ANGELES, CALIF.; 1975; S.L.; DA. S.D.; PP. 420-426; BIBL. 13 REF.Conference Paper

FINDING INVARIANT ASSERTIONS FOR PROVING PROGRAMS.CAPLAIN M.sdIN: INT. CONF. RELIAB. SOFTWARE. PROC.; LOS ANGELES, CALIF.; 1975; S.L.; DA. S.D.; PP. 165-171; BIBL. 8 REF.Conference Paper

INVARIANCES ALGORITHMIQUES ET RECURRENCES.AMY B; CAPLAIN M.1978; MATH. APPL. INFORMAT., RAPP. RECH.; FR.; DA. 1978; NO 110; PP. 1-37; ABS. ANGL.; BIBL. 10 REF.Serial Issue

CONSTRUCTING CORRECT AND EFFICIENT CONCURRENT PROGRAMS.SINTZOFF M; VAN LAMSWEERDE A.sdIN: INT. CONF. RELIAB. SOFTWARE. PROC.; LOS ANGELES, CALIF.; 1975; S.L.; DA. S.D.; PP. 319-326; BIBL. 24 REF.Conference Paper